
   Syntax       {%IN% &label&} {%ON% iteration} %MULTIPLY% &expression&

   Purpose      Multiplies &label& by &expression&.
   
   Note         When this command is used on relations there is no checking
                for analytical validity.  It is strongly suggested that the
                user employ the assignment operator "%:=%" if relations are
                involved.

   &Example&

   þR1 : 1/c < 1/c*x < c
   þIN R1 MULTIPLY c
   R1 : 1 < x < c^2

   PROCEDURE Example(INTEGER N ; LABEL L ; PARAMETER P) ;
     ITERATE I FROM 1 TO N ;
     IN L[I] MULTIPLY P ;
   EXIT
